Specification Implementation States / Primary State Product Terms Literals Cycle Transitions
ثبت نشده
چکیده
Implementation States / Primary State Product Terms Literals Cycle Transitions In Out Vars Output Total Output Total Latency Time chu-adopt 4 4 3 3 0 4 4 11 11 1.2ns 1.2ns vanbek-adopt 3 3 3 3 0 4 4 9 9 1.3ns 1.3ns dme 8 10 3 3 2 6 11 18 29 2.0ns 3.1ns dme-fast 8 10 3 3 2 7 12 19 29 1.7ns 2.9ns alloc-outbound 8 9 4 3 2 6 12 16 27 1.8ns 3.0ns mp-forward-pkt 4 4 3 4 0 6 6 14 14 1.4ns 1.4ns nak-pa 6 6 4 5 1 7 10 12 17 1.7ns 2.5ns pe-send-ifc 11 14 5 3 2 15 21 45 60 2.3ns 3.7ns rcv-setup 6 8 3 2 0 3 3 8 8 1.4ns 1.4ns sbuf-read-ctl 7 8 3 3 1 5 8 12 17 1.5ns 2.6ns sbuf-send-ctl 8 9 3 3 2 9 14 21 32 2.1ns 3.3ns sendr-done 3 3 2 1 1 1 4 3 8 1.0ns 2.4ns sic-example 6 12 2 1 1 2 6 6 13 1.5ns 2.5ns dram-controller 12 14 7 6
منابع مشابه
Provisional Evaluation of Composting as Priority Option for Sustainable Waste Management in South-West Nigeria
The management of Municipal Solid Waste (MSW) in Nigeria and most developing countries has remained a major public health challenge, thus creating the need for reliable and environmentally-acceptable alternatives. This study focuses on composting assessment as a viable recovery alternative for MSW in six States of Southwest Nigeria, namely: Ekiti, Osun, Ondo, Ogun, Oyo, and Lagos. Extensive lit...
متن کاملProvisional Evaluation of Composting as Priority Option for Sustainable Waste Management in South-West Nigeria
The management of Municipal Solid Waste (MSW) in Nigeria and most developing countries has remained a major public health challenge, thus creating the need for reliable and environmentally-acceptable alternatives. This study focuses on composting assessment as a viable recovery alternative for MSW in six States of Southwest Nigeria, namely: Ekiti, Osun, Ondo, Ogun, Oyo, and Lagos. Extensive lit...
متن کاملModelling and Verification of Superscalar Micro-architectures Functional Approach
Most proof approaches verified a pipelined Micro-Architectural (MA) implementation against an Instruction-Set-Architecture (ISA) specification, and consequently, it was impossible to find a meaningful point where the implementation state and the specification state can be compared easily. An alternative solution to such problem is to verify a pipelined micro-architectural implementation against...
متن کاملEffect of the Primary Microstructures during Training Producers on TWSME in NiTi Alloys (TECHNICAL NOTE)
The influence of the martensitic, martensitic+austenitic and austenitic structures in bending training on two-way shape memory effect (TWSME) in Ni-50.8 at %Ti and Ni-49.9 at %Ti alloys was studied. In addition of the primary structure, the effect of pre-strain, plastic strain, training cycle and training temperature on the TWSME was investigated. The prepared samples were trained in martensiti...
متن کاملA toolset in Java2 for modelling, prototyping and implementing communicating real-time state machines
This paper proposes an approach to the development of real-time systems which depends on Communicating Real-Time State Machines (CRSM’s) as the specification language, and on a customisable actor kernel for prototyping, analysis and implementation of a modelled system. CRSM’s offer an intuitive and distributed specification of a system in terms of a collection of co-operating state machines int...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1973